Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
نویسندگان
چکیده
Rule-based model transformation approaches show two kinds of non-determinism: (1) Several rules may be applicable to the same model and (2) a rule may be applicable at several different matches. If two rule applications to the same model exist, they may be in conflict, i.e., one application may disable the other one. Furthermore, rule applications may enable others leading to dependencies. The critical pair analysis (CPA) can report all potential conflicts and dependencies of rule applications that may occur during model transformation processes. This paper presents the CPA integrated in Henshin, a model transformation environment based on the Eclipse Modeling Framework (EMF).
منابع مشابه
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars
The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by a visual editor for triple graph grammars (TGGs). The visual editor (called HENSHINTGG) supports a compact visualization of triple rules in an integrated editor panel. Internally, triple graph rules are represented as H...
متن کاملDetecting Performance Bad Smells for Henshin Model Transformations
In model-driven software engineering, model transformations are used for the specification of model changes. Similar to programs also model transformations can exhibit bad smells which indicate possible weaknesses. In this paper, we address bad smells which can negatively affect the performance of the application of model transformations, particularly, model transformations defined in Henshin. ...
متن کاملVisual Modeling of Controlled EMF Model Transformation using HENSHIN
The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by control structures for controlled rule applications. The control structures comprise well-known imperative structures like sequences and conditions on rule applications. Moreover, application conditions for individual r...
متن کاملGraBaTs 2010 4 th International Workshop on Graph Based Tools
The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by control structures for controlled rule applications. The control structures comprise well-known imperative structures like sequences and conditions on rule applications. Moreover, application conditions for individual r...
متن کاملSolving the TTC 2011 Reengineering Case with Henshin
Models are a helpful means of representing different aspects of a software system more abstractly to improve comprehension. In the modeling community, the Eclipse Modeling Framework (EMF) [6] has evolved to a widely used technology. While EMF itself provides modeling and code generation capabilities, extensions such as the Java Model Parser and Printer (JaMoPP) allow the translation of Java sou...
متن کامل